41. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
42. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings
پدیدآورنده : K.G. Larsen, A. Skou, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
575
43. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
44. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
پدیدآورنده : E. Allen Emerson, A. Prasad Sistla )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1855
45. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
پدیدآورنده : Ed Brinksma, Kim Guldstrand Larsen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2404
46. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
47. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
پدیدآورنده : Costas Courcoubetis )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
697
48. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
پدیدآورنده : Orna Grumberg )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1254
49. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
50. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
پدیدآورنده : David L. Dill, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
818
51. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
پدیدآورنده : Nicolas Halbwaches, Doron Peled )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1633
52. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
پدیدآورنده : Alan J. Hu, Moshe Y. Vardi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1427
53. Computer architecture and organization
پدیدآورنده : Ian East.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : COMPUTERS -- Machine Theory.,COMPUTERS -- Reference.,Electronic digital computers.
رده :
QA76
.
5
I264
1990
54. Computer assisted radiology :
پدیدآورنده : edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
55. Computer concepts and management information systems
پدیدآورنده : Jha, Davendranath, G.
کتابخانه: (Semnan)
موضوع : ، Computers,، computer software,، Electronic digital computers
رده :
QA
76
.
5
.
J43
56. Computer fundamentals with application software
پدیدآورنده : / Gary B. Shelly, Thomas J. Cashman
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic digital computers,Electronic data processing,Computer software
رده :
QA76
.
5
.
S457
1986
57. Computer fundamentals with application software
پدیدآورنده : Shelly, Gary B.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Electronic digital computers,، Electronic data processing,، Computer software
رده :
QA
76
.
5
.
S457
1986
58. Computer hardware and software
پدیدآورنده :
موضوع : Electronic digital computers.
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
59. Computer hardware and software, an interdisciplinary introduction
پدیدآورنده : Abrams, Marshall D.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
A32
60. Computer hardware and software; an interdisciplinary introduction
پدیدآورنده : Abrams, Marshall D
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
A32
